Pavel Pudlák: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Proofs as Games

Journal:

American Mathematical Monthly

Year:

2000

Language:

english

File:

PDF, 1.01 MB

english, 2000

2

Cuts, Consistency Statements and Interpretations

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 417 KB

english, 1985

3

An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

Jan Krajíček, Pavel Pudlák, Alan Woods

Journal:

Random Structures & Algorithms

Year:

1995

Language:

english

File:

PDF, 1.14 MB

english, 1995

4

INCOMPLETENESS IN THE FINITE DOMAIN

Journal:

Bulletin of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 392 KB

english, 2017

5

Proofs as Games

Journal:

American Mathematical Monthly

Year:

2000

Language:

english

File:

PDF, 914 KB

english, 2000

6

Quantified propositional calculi and fragments of bounded arithmetic

Jan Krajíček, Pavel Pudlák

Journal:

Mathematical Logic Quarterly

Year:

1990

Language:

english

File:

PDF, 915 KB

english, 1990

7

Every finite lattice can be embedded in a finite partition lattice

Pavel Pudlák, Jiří T⫲ma

Journal:

Algebra Universalis

Year:

1980

Language:

english

File:

PDF, 848 KB

english, 1980

8

Some structural properties of low-rank matrices related to computational complexity

Bruno Codenotti, Pavel Pudlák, Giovanni Resta

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 136 KB

english, 2000

9

Some Prime Elements in the Lattice of Interpretability Types

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 2.39 MB

english, 1983

10

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 218 KB

english, 2016

11

The number of proof lines and the size of proofs in first order logic

Jan Krajíček, Pavel Pudlák

Journal:

Archive for Mathematical Logic

Year:

1988

Language:

english

File:

PDF, 810 KB

english, 1988

12

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Qualitative and Probabilistic Models of Full Belief

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 239 KB

english, 2016

13

Equilateral Sets inlpn

Noga Alon, Pavel Pudlák

Journal:

Geometric And Functional Analysis

Year:

2003

Language:

english

File:

PDF, 210 KB

english, 2003

14

Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups

Péter Pál Pálfy, Pavel Pudlák

Journal:

Algebra Universalis

Year:

1980

Language:

english

File:

PDF, 304 KB

english, 1980

15

Lower bounds for resolution and cutting plane proofs and monotone computations

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.26 MB

english, 1997

16

[ACM Press the twenty-fourth annual ACM symposium - Victoria, British Columbia, Canada (1992.05.04-1992.05.06)] Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92 - Exponential lower bounds for the pigeonhole principle

Beame, Paul, Impagliazzo, Russell, Krajíček, Jan, Pitassi, Toniann, Pudlák, Pavel, Woods, Alan

Year:

1992

Language:

english

File:

PDF, 1.72 MB

english, 1992

17

Metamathematics of First-Order Arithmetic || Bounded Arithmetic

Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 5.53 MB

english, 2016

18

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 230 KB

english, 2016

19

Graph complexity

Pavel Pudlák, Vojtěch Rödl, Petr Savický

Journal:

Acta Informatica

Year:

1988

Language:

english

File:

PDF, 909 KB

english, 1988

20

Boolean Circuits, Tensor Ranks, and Communication Complexity

Pudlák, Pavel, Rödl, Vojtech, Sgall, Jirí

Journal:

SIAM Journal on Computing

Year:

1997

Language:

english

File:

PDF, 481 KB

english, 1997

21

[IEEE 28th Annual Symposium on Foundations of Computer Science - Los Angeles, CA, USA (1987.10.12-1987.10.14)] 28th Annual Symposium on Foundations of Computer Science (sfcs 1987) - Threshold circuits of bounded depth

Hajnal, Andras, Maass, Wolfgang, Pudlak, Pavel, Szegedy, Mario, Turan, Gyorgy

Year:

1987

Language:

english

File:

PDF, 1.14 MB

english, 1987

22

Metamathematics of First-Order Arithmetic || Bibliographical Remarks and Further Reading

Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 774 KB

english, 2016

23

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Hartley Rogers’ 1965 Agenda

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 257 KB

english, 2016

24

On the structure of initial segments of models of arithmetic

Jan Krajíček, Pavel Pudlák

Journal:

Archive for Mathematical Logic

Year:

1989

Language:

english

File:

PDF, 382 KB

english, 1989

25

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || Mathematician’s World

Year:

2013

Language:

english

File:

PDF, 577 KB

english, 2013

26

[IEEE 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06) - Berkeley, CA, USA (2006.10.21-2006.10.24)] 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06) - Lower bounds for circuits with MOD_m gates

Chattopadhyay, Arkadev, Goyal, Navin, Pudlak, Pavel, Therien, Denis

Year:

2006

Language:

english

File:

PDF, 204 KB

english, 2006

27

Metamathematics of First-Order Arithmetic || Bibliography

Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 2.68 MB

english, 2016

28

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Liftings of Homomorphisms Between Quotient Structures and Ulam Stability

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 306 KB

english, 2016

29

A new proof of the congruence lattice representation theorem

Journal:

Algebra Universalis

Year:

1976

Language:

english

File:

PDF, 253 KB

english, 1976

30

An improved exponential-time algorithm for k -SAT

Paturi, Ramamohan, Pudlák, Pavel, Saks, Michael E., Zane, Francis

Journal:

Journal of the ACM

Year:

2005

Language:

english

File:

PDF, 222 KB

english, 2005

31

Parallel Strategies

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 223 KB

english, 2003

32

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Mathematical Fuzzy Logic – State of Art

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 157 KB

english, 2016

33

On the computational power of depth-2 circuits with threshold and modulo gates

Matthias Krause, Pavel Pudlák

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

34

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity ||

Year:

2013

Language:

english

File:

PDF, 5.28 MB

english, 2013

35

Fragments of Bounded Arithmetic and the Lengths of Proofs

Journal:

Journal of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 1.35 MB

english, 2008

36

Linear tree codes and the problem of explicit constructions

Journal:

Linear Algebra and its Applications

Year:

2016

Language:

english

File:

PDF, 424 KB

english, 2016

37

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Reflections on the Last Delfino Problem

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 282 KB

english, 2016

38

[ACM Press the 42nd ACM symposium - Cambridge, Massachusetts, USA (2010.06.05-2010.06.08)] Proceedings of the 42nd ACM symposium on Theory of computing - STOC '10 - On the complexity of circuit satisfiability

Paturi, Ramamohan, Pudlak, Pavel

Year:

2010

Language:

english

File:

PDF, 404 KB

english, 2010

39

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Continuous Images of Coanalytic Sets

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 177 KB

english, 2016

40

GUEST EDITOR'S FOREWORD

Journal:

Journal of Computer and System Sciences

Year:

2001

Language:

english

File:

PDF, 25 KB

english, 2001

41

Quantum deduction rules

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 666 KB

english, 2009

42

Parallel strategies

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 719 KB

english, 2003

43

[ACM Press the 43rd annual ACM symposium - San Jose, California, USA (2011.06.06-2011.06.08)] Proceedings of the 43rd annual ACM symposium on Theory of computing - STOC '11 - Pseudorandom generators for group products

Koucký, Michal, Nimbhorkar, Prajakta, Pudlák, Pavel

Year:

2011

Language:

english

File:

PDF, 543 KB

english, 2011

44

On the complexity of finding falsifying assignments for Herbrand disjunctions

Journal:

Archive for Mathematical Logic

Year:

2015

Language:

english

File:

PDF, 413 KB

english, 2015

45

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || Classification of Subsheaves over GL-Algebras

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 298 KB

english, 2016

46

A note on monotone complexity and the rank of matrices

Anna Gál, Pavel Pudlák

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 96 KB

english, 2003

47

Partition theorems for systems of finite subsets of integers

Pavel Pudlák, Vojteěch Rödl

Journal:

Discrete Mathematics

Year:

1982

Language:

english

File:

PDF, 816 KB

english, 1982

48

[Springer Monographs in Mathematics] Logical Foundations of Mathematics and Computational Complexity || The Complexity of Computations

Year:

2013

Language:

english

File:

PDF, 965 KB

english, 2013

49

[IEEE 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - Berkeley, CA (2017.10.15-2017.10.17)] 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS) - Random Formulas, Monotone Circuits, and Interpolation

Hrubes, Pavel, Pudlak, Pavel

Year:

2017

Language:

english

File:

PDF, 289 KB

english, 2017

50

Logic Colloquium '98 (Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998) || On the Bit-Comprehension Rule

Buss, Samuel R., Hajek, Petr, Pudlak, Pavel

Year:

2016

Language:

english

File:

PDF, 260 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски